Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
141	JMLR: Workshop and Conference Proceedings 34:207–217, 2014 Proceedings of the 12th ICGI Induction of Directed Acyclic Word Graph in a Bioinformatics Task Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Applied mathematics Computer science Directed acyclic word graph Deterministic finite automaton Algorithm Machine learning String searching algorithm DFA minimization Finite-state machine Automata theory Models of computation Theoretical computer science
142	RESQ-learning in stochastic games Daniel Hennes, Michael Kaisers and Karl Tuyls Maastricht University Department of Knowledge Engineering P.O. Box 616, 6200 MD Maastricht, The Netherlands Add to Reading List Source URL: michaelkaisers.com Language: English - Date: 2012-04-29 08:03:15 Learning Evolutionary dynamics Markov models Markov processes Evolutionary game theory Replicator equation Markov chain Learning automata Reinforcement learning Statistics Game theory Evolutionary biology
143	Reinforcement Learning in Multi-agent Games A value iteration perspective Michael Kaisers March 15, 2008 Abstract Add to Reading List Source URL: michaelkaisers.com Language: English - Date: 2012-04-29 08:01:24 Artificial intelligence Nash equilibrium Q-learning Best response Coordination game Strategic dominance Reinforcement learning Learning automata Outcome Game theory Problem solving Science
144	Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Technion Israel Institute of Technology Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-06-11 13:49:54 Abstraction Applied mathematics Computer science Programming paradigms Data management Abstract interpretation Deterministic finite automaton Formal verification Abstract object Automata theory Theoretical computer science Models of computation
145	Lance Jeremy Fortnow Georgia Institute of Technology School of Computer Science 266 Ferst Drive Atlanta, GA 30332 Add to Reading List Source URL: lance.fortnow.com Language: English - Date: 2014-06-05 11:48:59 Carsten Lund Computational learning theory Sparse language IP ACM SIGACT Computer science International Colloquium on Automata Languages and Programming Interactive proof system Probabilistically checkable proof Theoretical computer science Applied mathematics Computational complexity theory
146	Tighter Bounds for the Determinisation of Bu hi Automata? Sven S hewe University of Liverpool sven.s heweliverpool.a .uk Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2011-03-14 06:40:19 Ω-automaton Mathematics Automaton Applied mathematics Tree Infinite tree automaton Muller automaton Automata theory Computer science Tree automaton
147	JMLR: Workshop and Conference Proceedings 34:167–181, 2014 Proceedings of the 12th ICGI Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Automata theory Statistics Models of computation Metric geometry Ultrametric space Statistical hypothesis testing Regular expression String Deterministic finite automaton Formal languages Theoretical computer science Mathematics
148	Replicator Dynamics for Multi-agent Learning: An Orthogonal Approach Michael Kaisers and Karl Tuyls Maastricht University, P.O. Box 616, 6200 MD Maastricht Abstract. Today’s society is largely connected and many real Add to Reading List Source URL: michaelkaisers.com Language: English - Date: 2012-04-29 08:03:37 Evolutionary game theory Replicator equation Reinforcement learning Dynamics Dynamical system Differential equation Learning automata Machine learning Evolutionary biology Evolutionary dynamics Game theory
149	Solving Parity Games in Practice Oliver Friedmann and Martin Lange Dept. of Computer Science, University of Munich, Germany Abstract. Parity games are 2-player games of perfect information and infinite duration that have Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:17 Parity game Quantum field theory Quantum mechanics Determinacy Ω-automaton Automata theory Parity Solver Physics Game theory Finite model theory
150	Inferring Synchronization under Limited Observability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Abstract. This paper addresses the problem of automatically inferring synchronization for c Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-03-28 14:04:36 Automata theory Transition Observability Models of computation

UPDATE